A Type System for Context-dependent Overloading
نویسندگان
چکیده
منابع مشابه
Context-dependent Overloading with terminating type inference
In this paper we present a type inference algorithm for a core-Haskell language with unrestrictive context-dependent overloading such that type inference always terminates. When types have constraints, decidability of type inference is based mainly on decidability of constraint-set satisfiability. We define a constraint-set satisfiability algorithm that uses a simple condition in order to guara...
متن کاملa cauchy-schwarz type inequality for fuzzy integrals
نامساوی کوشی-شوارتز در حالت کلاسیک در فضای اندازه فازی برقرار نمی باشد اما با اعمال شرط هایی در مسئله مانند یکنوا بودن توابع و قرار گرفتن در بازه صفر ویک می توان دو نوع نامساوی کوشی-شوارتز را در فضای اندازه فازی اثبات نمود.
15 صفحه اولA System for Context-Dependent User Modeling
We present a system for learning and utilizing context-dependent user models. The user models attempt to capture the interests of a user and link the interests to the situation of the user. The models are used for making recommendations to applications and services on what might interest the user in her current situation. In the design process we have analyzed several mock-ups of new mobile, co...
متن کاملOverloading in Distributed Computing System - A Review
Distributed computing utilizes a network of many computers, each accomplishing a portion of an overall task, to achieve a computational result much more quickly than with a single computer. Each system is only aware about the input of the system. So there is a problem of fault tolerance in distributed system when one of the working node become overload. In this paper we have studied about vario...
متن کاملA Context-Dependent Attention System for a Social Robot
This paper presents part of an on-going project to integrate perception, attention, drives, emotions, behavior arbitration, and expressive acts for a robot designed to interact socially with humans. We present the design of a visual attention system based on a model of human visual search behavior from Wolfe (1994). The attention system integrates perceptions (motion detection, color saliency, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1998
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80229-4